Short Proofs Using Compact Representations of Algebraic Integers
نویسندگان
چکیده
منابع مشابه
Accelerating Tableaux Proofs Using Compact Representations
In this article a modiied form of tableau calculus, called Tableau Graph Calculus, is presented for overcoming the well-known ineeciencies of the traditional tableau calculus to a large extent. This calculus is based on a compact representation of analytic tableaux by using graph structures called tableau graphs. These graphs are obtained from the input formula in linear time and incorporate mo...
متن کاملEEH: AGGH-like public key cryptosystem over the eisenstein integers using polynomial representations
GGH class of public-key cryptosystems relies on computational problems based on the closest vector problem (CVP) in lattices for their security. The subject of lattice based cryptography is very active and there have recently been new ideas that revolutionized the field. We present EEH, a GGH-Like public key cryptosystem based on the Eisenstein integers Z [ζ3] where ζ3 is a primitive...
متن کاملAlgebraic Numbers and Algebraic Integers
c © W W L Chen, 1984, 2013. This chapter originates from material used by the author at Imperial College London between 1981 and 1990. It is available free to all individuals, on the understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied, with or without permission from the author. However, this document may not be kept on any information storage an...
متن کاملOn algebraic integers in short intervals and near smooth curves
In 1970 A. Baker and W. Schmidt introduced the concept of a regular system of numbers and vectors. They proved that the set of real algebraic numbers forms a regular system on any fixed interval. This fact has allowed to prove some important results in the metric theory of transcendental numbers. In this paper their approach is applied to the set of algebraic integers α in short intervals of le...
متن کاملAlgebraic integers of small discriminant
(1) D(α) = D(K)(I(α))2, where I(α) = [OK : Z[α]], the index of the ring generated by α in the full ring of integers OK of K. Classically, the index of the field K is the greatest common divisor of all indices I(α) for α ∈ OK with K = Q(α). Dedekind was the first to show that the index may not be 1 by exhibiting certain cubic and quartic fields with this property. By results of Bauer and von Żyl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Complexity
سال: 1995
ISSN: 0885-064X
DOI: 10.1006/jcom.1995.1014